On Constructing Topological Spaces and Sorgenfrey Line
نویسنده
چکیده
We continue Mizar formalization of General Topology according to the book [19] by Engelking. In the article the formalization of Section 1.2 is almost completed. Namely, we formalize theorems on introduction of topologies by bases, neighborhood systems, closed sets, closure operator, and interior operator. The Sorgenfrey line is defined by a basis. It is proved that the weight of it is continuum. Other techniques are used to demonstrate introduction of discrete and anti-discrete topologies.
منابع مشابه
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
We first provide a modified version of the proof in [3] that the Sorgenfrey line is T1. Here, we prove that it is in fact T2, a stronger result. Next, we prove that all subspaces of R (that is the real line with the usual topology) are Lindelöf. We utilize this result in the proof that the Sorgenfrey line is Lindelöf, which is based on the proof found in [8]. Next, we construct the Sorgenfrey p...
متن کاملNEW METHODS FOR CONSTRUCTING GENERALIZED GROUPS, TOPOLOGICAL GENERALIZED GROUPS, AND TOP SPACES
The purpose of this paper is to introduce new methods for constructing generalized groups, generalized topological groups and top spaces. We study some properties of these structures and present some relative concrete examples. Moreover, we obtain generalized groups by using of Hilbert spaces and tangent spaces of Lie groups, separately.
متن کاملSelected Ordered Space Problems
A generalized ordered space (a GO-space) is a triple (X, τ,<) where (X,<) is a linearly ordered set and τ is a Hausdorff topology on X that has a base of order-convex sets. If τ is the usual open interval topology of the order <, then we say that (X, τ,<) is a linearly ordered topological space (LOTS). Besides the usual real line, probably the most familiar examples of GO-spaces are the Sorgenf...
متن کاملDomain-Representability of Certain Complete Spaces
In this paper we show that three major classes of topological spaces are domain-representable, i.e., homeomorphic to the space of maximal elements of some domain (=continuous dcpo) with the relative Scott topology. The three classes are: T3 subcompact spaces, strongly α-favorable spaces with a Gδ-diagonal or with a base of countable order, and complete quasi-developable T3-spaces. It follows th...
متن کاملDraft of Jan 4 , 2013 Choban Operators in Generalized Ordered Spaces
In this paper we investigate generalized ordered (GO) spaces that have a flexible diagonal in the sense of Arhangel’skii [2]. Spaces with a flexible diagonal are generalizations of topological groups and include spaces that are continuously homogeneous, Choban spaces, and rotoid spaces. We prove some some paracompactness and metrization theorems for such spaces and construct examples of general...
متن کامل